/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package drt;

import java.util.Map;
import logic.Type;

/**
 *
 * @author phong
 */
public abstract class DRSCondition implements DrtExpression {
    
    @Override
    public abstract DRSCondition replace(DrtVariable var, DrtExpression exp);
    
    @Override
    public abstract DRSCondition simplify();
    
    @Override
    public void setType(Type t) {
        throw new Error("can't set type for a DRSCondition");
    }
    
    @Override
    public abstract DRSCondition getTemplate(Map<String,String> map);
}
